VDict mobile



theory A term with no free variables.
(1994-12-16)